De Morgan's theorem